- 双语例句 更多例句
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网
搜寻这个错误很容易, 维护和修改这个程式也很容易.
互联网
- 相关词组
- executive development program主管发展计划;
- pilot program试点计划;
- united nations development program网络联合国开发计划署; 开发计划署; 联合国发展计划署; 联合国发展计划; 联合国开发计划处;
- map programun.变换程序;分布图程序
- problem program问题程序;
- anti-virus program防毒程序;
- program directorn.节目部主任,计划主持人;
- sustaining programn.<美>非营业性的独立节目;非商业节目;
- program musicn.标题音乐,描写音乐;
- political correctnessn.政治正确性;
- modularized program模块化程序;
- United Nations Development Program联合国开发计划署;
- TV programn.电视节目;
- uranium enrichment program铀浓缩计划;
- jap-job analysis program工作分析程序法;
- flexible benefits program弹性福利计划;
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- tv programn.电视节目;
- drawing program放矿计划;
- program behavior model程序功效模型;
- 今日热词
- 热门搜索
- Februaries n. 二月( February的名词复数 );
- fact n.事实;真相;资料;
- harbor n.海港;海湾;避难所;躲藏处;vt.& vi.心怀;庇护;避入安全地;(船)入港停泊;
- ego n.自我;自负;自尊心;自我意识;
- sign n.迹象;招牌;手势;符号;v.签字;和…签约;打手势;
- sideway n.小路,小巷,人行道;胠;
- whistle v.吹口哨;呼啸着行进;鸣叫;(鸟类)啭鸣;n.哨子;哨子声;汽笛声;
- neighborhood n.地区;某地区的人;与某处邻近的地区;临近街坊;
- best wishes to you 向你致以美好的祝愿;
- elastic adj.有弹力的;可伸缩的;灵活的;n.松紧带,橡皮圈;
- century n.世纪;一百年;
- fax n.传真;vt.传真;传真传输;